&X.&_4λε∪8⊗λε∪H≤$α⊂λεβH≥
&CP→L∧α⊂λ∧∧h#∀
U ↔∀
$(-L%Dλ&∀kR⊂λ∧α(_,v(⊂)A`
ε	∀`
ε*E⊂(Tβ!H$Sβ%_(λD¬⊂(λd¬_(εI∀`F
%λ(λD∀_"∀*∧_#λD∃⊂(Tβ⊃@$Sβ∃⊂(HH4`(Tλ40⊃∀J⊃H$Sβ∃⊂(λ$∧_&∀*∧_#λ$¬⊂(ε)∀`TJαλ!S
∃!QD∃⊂(ε)∀`TJαλ!S
∃!QD∃⊂(ε)∀`$∀Jαλ!S
∃!QD∃⊂(∩	∀`$∀D∀_&∀*∧_#λ*$@$S	¬⊂!⊂iEλ(⊂hd⊂)∩	∀`$∀H$_&∀*∧_#⊂J$@$S	¬⊂!⊂iEλ(⊂hd⊂)∩	∀`$∀H$_&∀*∧_#⊂J$@$S
$⊂!S
∃!QH%⊂$S	¬λ(⊂H4`(Tλ40!∀*∧@$S	¬⊂!S	¬λ(⊂he⊂$∩)E⊂!⊂iE⊂!QH%⊂$S
∃!⊂iEλ(⊂H40!∀*∧H&∩
∃!S
∃!QJ∃$∩)E⊂!S
∃!QJ$H&∀*∧⊂!S
∃!QH%λ(∩)D@(Tλ4`(Tλ40(T	∧H&∀H4`(Tλ40)∩)Eλ(⊂H4`(Tλ40!∀*∧H&∀*∧_&∀*∧_#∀*∧H&∀*∧_&∀*∧_#∀*∧H&∀*∧_&∩
∃!QJ∃$S
∃!S
$_#∀*∧H&∀*∧_&∀*∧⊂!QJ∃$S
∃!S
∃!QJ∃$S
∃!S
∃!QJ∃$S
∃!S
∃!QJ∃$S
∃!S
∃!QJ∃$S
∃!S	¬λ(⊂heλ(∩)Eλ(⊂iE⊂!QJ∃$S
∃!S
∃!⊂heλ(∩)Eλ(⊂iEλ(⊂heλ(∩(Eλ!S
∃!QJ∀λ&∀(∀`(Tλ4 (R)Eλ(⊂iD@(Tλ40(T	∀`(Tλ4`)⊂heλ(∩(Eλ!S
∃!⊂heλ S
∀λ&∀*∧_"∀)∀`(Tλ4`(Tλ40(T	∀`(Tλ4`(Tλ40(T	∀ (PiD@(Tλ40(P)Eλ S
$_"∀)∀ (PiEλ(⊂H40(P)Eλ S
∃!Q
∀H&∀*∧_&∩
∃!QJ∃$Q
∀_&∀H40(P)Eλ S
∃!⊂hEλ$Q
∀_&∀*∧_#∀(∀`(P)Eλ(⊂hEλ$Q
∀_&∩
∃!QJ∀λ&∀(∀`)⊂hEλ$Q
∀_&∀*∧⊂!QJ∀λ&∀(∀`(Tλ4 (R(Eλ!S	¬λ(⊂heλ S
∀λ&∀H4 (R(Eλ!S
∃!⊂heλ S
∀λ&∀*∧_"∀)∀ (PiEλ(⊂heλ Qλ∧λ&∩
∃!Qλ∧λ&∀(∀`)⊂hEλ$Q
∀_&∀*∧⊂!QJ∀λ"⊂λ∀`(Tλ4  ⊂)Eλ S
∃!Q
∀H"∀(4`$∀*∧_#∀(∀  ⊂)E⊂!Qλ∧λ&∀(∀`(Tλ$_"∀)∀ (PiEλ(⊂heλ Qλ∧λ&∀*∧_"⊂λ∀`(P)Eλ(⊂hEλ$Q
∀_&∀*∧_#∀(∀  ⊂)Eλ(⊂hD Qλ∧λ&∀*∧_"⊂λ∀`(P)Eλ(⊂hEλ$Q
∀_&∀*∧_#∀(∀  ⊂)Eλ(⊂hD Qλ∧λ&∀*∧_"⊂λ∀  ⊂)Eλ(⊂hD S
∀λ&∀*∧_"∀)∀ (PiEλ(⊂heλ Qλ∧λ&∀*∧_"⊂λ∀  ⊂(Eλ!Qλ∧λ"∀)¬λ Qλ∧λ"∀J∧_"⊂λ∀ )⊂hD S
$λ"∀)∧ )⊂heλ(⊃
∃ Q
∀ (Tλ4 (Q
∀λ"∀(Eλ Q
∀ (P(Eλ"∀(4 (Qλ∧λ"∀(D Q
∀  ⊂(Eλ"⊂λ∀ (Qλ∧λ"∀(D Q
∀  ⊂(Eλ"⊂λ∀ (Qλ∧λ"∀(D Q
∀  ⊂(Eλ"⊂λ∀ (Qλ∧λ"∀(Eλ$S
∃#∀(∀ (PHD Qλ∧λ"⊂λ∀  ⊂(D Qλ∧λ"⊂λ∀  ⊂(D Qλ∧λ"∀)∀`(P(eλ Q
∀_"⊂λ∀  ⊂(D Qλ∧λ"⊂λ∀  ⊂(Eλ$S
∀λ#∀(∀ (PhD Qλ∧λ"⊂λ∀  ⊂(Eλ$S
∀λ#∀(∀ (PhD Qλ∧λ"∀)∀`(P(eλ Q
∀_"⊂λ∀  ⊂(Eλ$S
∀λ#∀(∀ (PhD Qλ∧λ"∀)∀`(P(eλ Q
∀_"⊂λ∀  ⊂(Eλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀*∧H&∀*∧_#∀(∀ (PhEλ$S
∀λ#∀(∀ (PhEλ$S
∀λ#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀(∀ (PhEλ$S
∀λ#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀(∀ (PhEλ$S
∀λ#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧H&∀*∧_#∀*∧@$S	¬λ(⊂he⊂$S
$_#⊂J∃$S
∃!⊂heλ(∩	∀`$∀*∧_#∀I∀`)⊂hd⊂(T	∀`(Tλ$_#∀*∧@$S	¬λ(⊂he⊂$∩)D@)⊂hd⊂)∩)E⊂!⊂hd⊂(T	∧H&∩
∃!⊂he⊂$∩)D@)⊂hd⊂)∩	∀`$∀H$_#⊂J$@$S	¬⊂!⊂hd⊂)∩	∀`$∀H$_#⊂J$@$S	¬⊂!⊂hd⊂)ε)∀`TH$_#⊂J%R)AH)∀λ$_#λ*%R)AH)∀∧∀_#λ*%R)AH)∀∧∀_#λ*%F	∀`F
%⊂Phbλ)∀#$H&εJ%λ⊂Phbλ⊂∀J∃
ε)∀`
ε*%λ(λ$∧_#λJ5∞ε#¬_(λH40⊃λ*E⊂(T∧"λ!QDB⊂⊂⊂f#λ→M¬bp↔@wZ¬npα=↑βP8{@Sw↓)>pαY=`(@;@YPw↓6↑pαs⎇`(u;@` w↓Cnpβ∞=`0){@fpw↓Q∞pβ(⎇`0↑{@m@wUfP w↓↑.x+∨↓≡pβC=u(|β=`8∪{jXp∧;j}x↓{k⊗λ∧;@t⊂wU'p(wUz@_wVC (w↓kNx*;`nx+n@>x-'`npβ]]u P↓=u8O@⎇uX∧↓=`8H{jEλα{jx(↓{k5@α{@zXwUβ@(wUm _wVtp(w↓xnx)y`Nx+T>x-⎇@Npβx≥u_Y↓≥u8~@⎇u`#↓≥`8⎇{j7hα;jqX↓{kGXα;A↓(wTi wU`_wW⊗ wαε∞x)D`Nx+9@>x.9 Np∧∩]u⊂|@⎇u0f⎇uh
⎇`@2{j, α{jkλ↓{kTpα{AπxwTQp_wUO@ wW00_wα∪≡x)≥>x+_@.x.g@>p∧-≥u⊂-↓≥u0#A≥uhiA≥`@g;j"(α;jbh↓{k`@α;A∞HwTA ⊂wUB _wWD ⊂wα >x(|Nx*}>x/∂ Np∧G]uλ]A≥u(n@⎇up8A≥`H≤;j~λ↓;j\_↓{kh`↓;A∃_wT0` wU5⊂_wWT` wα-↑x([>x*c@>x/6`>p∧b≥uλ(@⎇u(:⎇up{⎇`HQ;j∪8↓{jSxα;kq↓{A≠hwT#@_wU$@⊂wWe0_wα:}x(@@>x*B@Nx/Q >p∧|=us@⎇u w@⎇ux0⎇`Pε;jh↓{jM(↓{kwP↓{A"0wT⊗0_wU↔ _wWrP_wαH≡x(&>x*(>x/k`>p¬⊗⎇u?⎇u 5A≥uxd@⎇`P;;jε_↓{jEλ↓;k} ↓{A)wT	⊂_wUε` wW␈`_wαU>x(@>x*π>x0ε >p¬1=u↔]u @⎇v→@]`Pp;j↓ ↓;j>8↓{l∧p↓;A/PwS␈⊂_wTv  wX	`_wαbNx'w`>x)e`.x0~>p¬K⎇txo@]u_>A≥vA@]`X${i| ↓;j6⊂↓{l	h↓;A6 wSu _wTi_wX∪P_wαonx'c`>x)K@>x0.>p¬f=txG@]u⊂|A≥vi]`XY{iw(↓;j-p↓;l∞`↓;A<pwSnP⊂wTX@ wX≥@⊂wα⎇∞x'V`.x)* >x0A`.pε⎇tx ⎇u⊂:↓≥vλβ@⎇``∞{it↓;j%P↓;l∩λ↓;AC@wSd`⊂wTGp wX'@⊂wβ
.x'I@.x)	 >x0O.pε≠≥tx¬@]u⊂¬⎇vλ+]``C{ipX↓;j≥0α;l∃0↓;AJλwS↑⊂⊂wT70⊂wX.⊂⊂wβ↔Nx'< .x(h Nx0\ .pε5]tpk]uλC⎇vλE@]``x{im0↓;j∃λα;l_X↓;APXwSW@⊂wT&p⊂wX4`⊂wβ$nx'/.x(GNx0i@.pεP≥tpP@]uλ↓⎇vλ`]`h-{ijλ↓;j∞8↓{l≤↓;AW(wST⊂⊂wT⊗0 wX;0⊂wβ1}x'!`.x(&.x0v`.pεj]tpC@]u?↓≥vλm@]`hb;ih8↓;jε_↓{l∨(↓;A]xwSM@⊂wT	⊂_wX>P⊂wβ?≡x'≠.x(¬Nx0⎇ .pπ¬≥tp6]tx|@]v⊂λ]`p↔;ie⊂↓;i⎇xα;l!↓;AdHwSJ ⊂wSx@_wXB⊂wβL>x'∀@.x'j@>x1
@.pπ∨]tp≤]txG@⎇v⊂∃]`pL;ic@↓;iw(↓{l"P↓;Ak_wSG⊂wSk0_wXH@⊂wβY↑x'∞.x'P>x1⊃.pπ9⎇tp∞@]tx∪⎇v⊂"]`x↓;iah↓;ipX↓{l$ ↓;Aq`wSCP⊂wS↑⊂_wXKp⊂wβf}x'π .x'5@>x1↔`.pπT=tp∞@]tp↑⎇v⊂/@]`x6;i`_↓;ijλ↓{l%x↓;Ax0wS@0⊂wSPp_wXKp⊂wβt≡x'`.x'≠>x1≡ .pπn⎇tp↓@]tp6]v⊂<@]`xk;i`_α;l'H↓;A␈wS@0_wXO⊂⊂w∧↓.x'`.x1≡ .pλ	=tht]v⊂<@]a∨{i↑@↓;l'H↓;B¬PwS=_wXR@λw∧∞Nx&z>x1%≡pλ#⎇tht]v⊂J=aT{i↑@↓;l) {B wS=⊂wXR@λw∧≠nx&z.x1%≡pλ>=tht]v⊂J=aλ	{i↑@↓;l) {B∩pwS=⊂wXR@λw∧)∞x&z.x1%≡pλX]tht]v⊂J=aλ>{i↑@↓;l) {B→8wS=⊂wXR@λw∧6.x&z.x1%≡pλs≥tht]v⊂J=aλs{i↑@↓;l) {B λwS=⊂wXR@λw∧CNx&z.x1%≡p	
]tht]v⊂J=a⊂({i↑@↓;l'H↓;B&XwS=⊂wXO⊂⊂w∧P↑x'`.x1≡ .p	(≥tp↓@]v⊂<@]a⊂];i`_↓;l'H↓;B-(wS@0⊂wXO⊂⊂w∧]}x'`.x1≡ .p	B]tp↓@]v⊂/@]a_∩;i`_↓;l%x↓;B3xwSCP⊂wXKp⊂w∧k≡x'π .x1↔`.p	]≥tp∞@]v⊂/@]a_G;iah↓;l$ ↓;B:HwSCP⊂wXH@⊂w∧x>x'∞.x1⊃.p	w=tp≤]v⊂"]a_|;ic@↓;l"P↓;BA⊂wSG⊂wXE ⊂w¬¬↑x'∀@.x1
@.p
⊃⎇tp)]v⊂λ]a 1;ie⊂↓;l!↓;BG`wSM@⊂wXB⊂w¬∩}x'≠.x0⎇ .p
,=tp6]vλz@]a f;ih8↓;l∨(↓;BN0wSPp⊂wX;0⊂w¬ ∞x'!`.x0v`.p
F⎇tpP@]vλm@]a(~{ijλ↓;l≤↓;BUwST⊂⊂wX8⊂w¬-.x'/.x0i@.p
a=tp↑]vλS]a(O{im0↓;l_X↓;B[PwSZ`⊂wX10⊂w¬:Nx'< .x0\ .p
{⎇tpx@]vλ8@]a0∧{ipX↓;l∃0↓;Bb wSa0⊂wX*`⊂w¬Gnx'I@.x0O.p⊗≥tx∪]vλ≡]a09{it↓;l∩λ↓;BhhwSh_wX p_w¬U∞x'V`.x0A`.p0]tx:@]vv]a0n{iw(↓;l∞`↓;Bo8wSqp⊂wX~ ⊂w¬b.x'c`>x0.>pK≥txU⎇vN@⎇a8#{i| ↓;l	h↓;BvλwS{p⊂wX⊂0⊂w¬o>x'w`>x0~>pe]tx|@⎇v'⎇a8X;j↓ ↓;l∧p↓;B|XwT¬`⊂wXε0⊂w¬|↑x(@>x0ε >p≥u$@⎇ux␈⎇a@
;jε_↓{k} ↓{Cβ(wT∂`_wWy⊂_wε	}x(&>x/k`>p~]uY@⎇uxJ@⎇a@B;jh↓{kwP↓{C	xwT≤p_wWl_wε↔≡x(@@>x/Q >p4⎇uλ∞⎇ux∃@⎇a@w;j∪8↓{kq↓{C⊂@wT*⊂_wW↑`_wε$>x([>x/6`>pO=uλC↓≥upS↓≥aH,;j~λ↓;kh`↓;C↔⊂wT70 wWN⊂ wε1↑x(|Nx/∂ Npi⎇u⊂¬]up⊃]aHa;j"(α;k`@α;C≥`wTK  wW:0 wε>nx)≥>x.g@>p
∧=u⊂G@⎇uhA@⎇aP∃{j, α{kTpα{C$0wT←⊂_wW# _wεL∞x)D`Nx.9 Np
≡⎇u_$↓≥u`X↓≥aPJ{j7hα;kGXα;C+wTv  wWλ` wεY.x)y`Nx-⎇@Np
9=u ∞↓=uXSA=aP␈{jEλα{k5@α{C1PwU∀(wVa(wεfNx*;`nx-'`np
S]u(∨A=uP
↓=aX4{jXp∧;k⊗λ∧;C8_wU?Pwεsnx+∨↓≡p
n≥u8~A≥aXi{C>hwπ↓∞p∞λ]a`≡{CE8wπ∞≡p∞#≥a`S;CLλwπ≠>p∞=]ahλ;CRXwπ(↑p∞X≥ah=;CY(wπ5}p∞r=ahr;C←pwπC≡p∂⎇ap';Cf@wπP>p∂'=ap\;Cm⊂wπ]Np∂A⎇ax⊂{l9`w∧∨⊂wV(}pβ(`∞x,Q⎇aX'≥tpx{B∂H;l*pw∧)wV∞pβ<@∞x,⊗≥aXO≥tp↓{B∀@?oPvP*∃MR α[␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x∧∨a% $S(U_)∪iTλ'↓@∧λ∨`40$Q`↓ α@
X P 5`h@X?␈xK7JHP λ␈␈␈␈x∀␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈xα[,g:]P.' ⊂∀l⊗h:Y-B∀⊂)E_⊂⊂∧¬_ R)BH
∪,↔⊂1Z∧βλ≠K∧βλ≤Nε∩⊂λ∧β≤NFS ≥f